finite rotation group

有限旋转群